DEF=korebrkt
EXT=korebrkt
TESTDIR=.
KOMPILE_BACKEND=kore
export KOMPILE_BACKEND
DEBUG=--debug

include ../../../include/kframework/ktest.mak
